Unconventional Programming
نویسندگان
چکیده
ions for Directing Self-Organising Patterns . . . . . . . . . . . . . . . . . . . . 70Daniel Coore Abstractions for Code Reuse in ECOLI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79Dean D. Holnessions for Code Reuse in ECOLI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79Dean D. Holness Programming an Amorphous Computational Medium . . . . . . . . . . . . . . . . . 87Jacob Beal Computations in Space and Space in Computations . . . . . . . . . . . . . . . . . . . 95Olivier Michel, Jean-Louis Giavitto, Julien Cohen, Antoine Spicher
منابع مشابه
Unconventional and Nested Computations in Spatial Computing
Modern programming languages allow the definition and the use of arbitrary nested data structures but this is not generally considered in unconventional programming models. In this paper, we present arbitrary nested topological collections in MGS, a spatial computing language. By considering different classes of neighborhood relationships, MGS can emulate several unconventional computing models...
متن کاملConventional Verification for Unconventional Computing: a Genetic XOR Gate Example
As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal verification will become more prevalent. This is so because “programming” in unconventional substrates is difficult. In this paper we show how conventional verification tools can be used to verify unconventional programs implementing a logical XOR gate.
متن کاملArbitrary Nesting of Spatial Computations
Modern programming languages allow the definition and the use of arbitrary nested data structures but this is not generally considered in unconventional programming models. In this paper, we present arbitrary nesting in MGS, a spatial computing language. By considering different classes of neighborhood relationships, MGS can emulate several unconventional computing models from a programming poi...
متن کاملProgramming Unconventional Computers: Dynamics, Development, Self-Reference
Classical computing has well-established formalisms for specifying, refining, composing, proving, and otherwise reasoning about computations. These formalisms have matured over the past 70 years or so. Unconventional Computing includes the use of novel kinds of substrates–from black holes and quantum effects, through to chemicals, biomolecules, even slime moulds–to perform computations that do ...
متن کاملUnconventional Computer Programming
Classical computing has well-established formalisms forspecifying, refining, composing, proving, and otherwise reasoningabout computations. These formalisms have matured over the past70 years or so.Unconventional Computing includes the use novel kinds of sub-strates – from black holes and quantum effects, through to chem-icals, biomolecules, even slime moulds – to perfor...
متن کاملEmulation of an unconventional model of computation in Java
This paper describes the emulation of an unconventional model of computation inspired by the field of optical computing. The model could be described as a random access machine with registers that hold continuous twodimensional images. Our development employed a combination of eXtreme Programming, unit and integration testing with junit, and design patterns. In the final product we implemented ...
متن کامل